subtype and domain